- sémantique dénotationnelle
- сущ.
выч. денотационная семантика
Французско-русский универсальный словарь. 2013.
sémantique dénotationnelle
Смотреть что такое "sémantique dénotationnelle" в других словарях:
Semantique denotationnelle — Sémantique dénotationnelle En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique… … Wikipédia en Français
Sémantique dénotationnelle — En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique… … Wikipédia en Français
Semantique des langages de programmation — Sémantique des langages de programmation En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Sommaire 1 Lien avec la… … Wikipédia en Français
Semantique axiomatique — Sémantique axiomatique La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves … Wikipédia en Français
Semantique operationnelle — Sémantique opérationnelle En informatique, la sémantique opérationnelle est l une des approches qui servent à donner une signification aux programmes informatiques d une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages… … Wikipédia en Français
Sémantique des langages de programmation — En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Sommaire 1 Lien avec la linguistique 2 Sémantiques usuelles d’un… … Wikipédia en Français
Sémantique axiomatique — La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves … Wikipédia en Français
Sémantique opérationnelle — En informatique, la sémantique opérationnelle est l une des approches qui servent à donner une signification aux programmes informatiques d une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation). Une… … Wikipédia en Français
Continuation — Sur les autres projets Wikimedia : « Continuation », sur le Wiktionnaire (dictionnaire universel) En informatique, la continuation d un système désigne son futur, c est à dire la suite des instructions qu il lui reste à exécuter à… … Wikipédia en Français
Christopher Strachey — (né le 16 novembre 1916, décédé le 18 mai 1975) est un informaticien britannique. Il a fait ses études à la Gresham s School et à l Université de Cambridge. Strachey est surtout connu comme l un des premiers à avoir prôné une approche… … Wikipédia en Français
Theorie des domaines — Théorie des domaines La théorie des domaines est une branche des mathématiques dont le principal champ d application se trouve en informatique théorique. Cette partie de la théorie des ensembles ordonnés a été introduite par Dana Scott pendant… … Wikipédia en Français
